constructive logic nghĩa là gì

Từ điển kỹ thuật

Lĩnh vực: toán & tin

• lôgic kiến thiết

• constructive:    [kən'strʌktic]tính từcó tính cách xây dựngconstructive criticsmphê bình xây dựng(thuộc) kiến trúc, (thuộc) xây dựngsuy diễn, hiểu ngầma constructive denialmột sự từ chối phải hiểu ngầm; một sự từ c
• a constructive denial:    một sự từ chối phải hiểu ngầm, một sự từ chối khéo
• constructive criticsm:    phê bình xây dựng

Câu ví dụ

Intuitionistic logic has come to be of great interest to computer scientists, as it is a constructive logic, and is hence a logic of what computers can do.
Logic trực giác đã được quan tâm nhiều bởi các nhà khoa học máy tính, bởi vì nó là một logic xây dựng, và do vậy là một loại logic mà các máy tính có thể làm được.